Foncteur — En mathématiques, le foncteur est la généralisation aux catégories de la notion de morphisme. Sommaire 1 Définitions 1.1 Foncteurs adjoints 2 Exemples 3 … Wikipédia en Français
Foncteur Dérivé — En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d unifier des constructions concrètes intervenant dans de… … Wikipédia en Français
Foncteur derive — Foncteur dérivé En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d unifier des constructions concrètes… … Wikipédia en Français
Foncteur oubli — Foncteur En mathématiques, le foncteur est la généralisation aux catégories de la notion de morphismes. Sommaire 1 Définitions 1.1 Foncteurs adjoints 2 Exemples 3 … Wikipédia en Français
Foncteur de vérité — ● Foncteur de vérité connecteur logique qui permet d établir une proposition complexe à partir de plusieurs propositions simples et indique en même temps la valeur de vérité de la proposition complexe … Encyclopédie Universelle
Foncteur dérivé — En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d unifier des constructions concrètes intervenant dans de… … Wikipédia en Français
Foncteur représentable — On rencontre en mathématiques de nombreuses propriétés universelles. Le formalisme des catégories permet d exprimer ces propriétés de façon très simple. Sommaire 1 Définition 2 Lemme de Yoneda 3 Foncteurs covariants représentables … Wikipédia en Français
Foncteur adjoint — La notion d adjonction est fondamentale. Elle généralise la notion d équivalence entre deux catégories. En effet, si et définissent une équivalence de catégorie entre et , alors, F et G sont adjoints l un à l autre (et ce, « de tous les… … Wikipédia en Français
Adjoint (foncteur) — La notion d adjonction est fondamentale. Elle généralise la notion d équivalence entre deux catégories. En effet, si et définissent une équivalence de catégorie entre et , alors, F et G sont ajoints l un à l autre (et ce, de tous les côtés… … Wikipédia en Français
Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces … Wikipédia en Français